Database Constraints and Design • We know that databases are often required to satisfy some integrity constraints. • The most common ones are functional and inclusion dependencies. • We’ll study properties of int

Source URL: homepages.inf.ed.ac.uk

AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International

Source URL: fm.csl.sri.com

• Information
• Database theory
• Database management systems
• Data model
• Entity-relationship model
• Database schema
• EXPRESS
• Integrity constraints
• Database design
• Data management
• Data modeling
• Data

IFDB: Decentralized Information Flow Control for Databases

Source URL: www.pmg.lcs.mit.edu

• Relational database management systems
• Relational model
• Query languages
• Data modeling
• Relational database
• Relation
• PostgreSQL
• Integrity constraints
• SQL
• Data management
• Computing
• Data

Using Relational Databases and SQL for Social Scientific Research: Theory and Practice Claude Rubinson Department of Sociology University of Arizona

Source URL: gator.uhd.edu

• Data
• Database management systems
• Database constraints
• Databases
• Database normalization
• Database design
• Relational database
• Database
• Table
• Data management
• Database theory
• Data modeling

Introduction to Relational Databases Part 1: Why? Claude Rubinson University of Houston—Downtown

Source URL: gator.uhd.edu

• Database management systems
• Database constraints
• Relational model
• Database normalization
• Database design
• Database
• Relational database
• Table
• Functional dependency
• Data management
• Database theory
• Data modeling

Normalization Theory for XML Leonid Libkin1 School of Informatics, University of Edinburgh Abstract. Specifications of XML documents typically consist of typing

Source URL: homepages.inf.ed.ac.uk

• Data modeling
• Database theory
• Database constraints
• Technical communication
• Relational algebra
• Third normal form
• Database normalization
• Boyce–Codd normal form
• Relational model
• Computing
• Data management
• Data

Normalization Theory for XML∗ Marcelo Arenas Department of Computer Science Pontificia Universidad Cat´olica de Chile

Source URL: homepages.inf.ed.ac.uk

• Data modeling
• XML
• Database constraints
• Markup languages
• Technical communication
• Document Type Definition
• Boyce–Codd normal form
• Relational model
• Database normalization
• Computing
• Data management
• Data

Query Reformulation with Constraints∗ Alin Deutsch University of California at San Diego Lucian Popa

Source URL: homepages.inf.ed.ac.uk

• Data
• Theoretical computer science
• Conjunctive query
• Data integration
• SQL
• Relational model
• Bin
• View
• Rewriting
• Database theory
• Data management
• Database management systems

On Incomplete XML Documents with Integrity Constraints Pablo Barcel´ o1 , Leonid Libkin2 , and Juan Reutter2 1

Source URL: homepages.inf.ed.ac.uk

• Information
• Markup languages
• Technical communication
• XML
• P-complete
• Model theory
• B-tree
• Integrity constraints
• Relational database
• Computing
• Data
• Constraint programming

An information-theoretic analysis of worst-case redundancy in database design SOLMAZ KOLAHI University of British Columbia and LEONID LIBKIN

Source URL: homepages.inf.ed.ac.uk

• Data
• Information
• Database theory
• Relational algebra
• Databases
• Database normalization
• Boyce–Codd normal form
• Third normal form
• Database schema
• Data management
• Data modeling
• Database constraints